/LMAR=0/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#9=ngr20/FONT#3=NGB25/FONT#4=STA200
␈↓ ↓H␈↓␈↓∧S␈↓β Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305


␈↓ ↓H␈↓Telephone 415-497-4202␈↓ 	r29 October 1974



␈↓ ↓H␈↓Director, Advanced Research Projects Agency
␈↓ ↓H␈↓Department of Defense
␈↓ ↓H␈↓Washington, D. C.

␈↓ ↓H␈↓␈↓αSUBJECT:␈↓  Quarterly Management Report
␈↓ ↓H␈↓␈↓ 	j␈↓	Form approved, Budget
␈↓ ↓H␈↓	␈↓ 	oBureau No. 22-RO293.␈↓

␈↓ ↓H␈↓␈↓αARPA Order Number:␈↓ 2494␈↓ εX␈↓αContract Number:␈↓ DAHC15 73C 0435

␈↓ ↓H␈↓␈↓αProgram Code Number:␈↓ 3D30␈↓ εX␈↓αPrincipal Investigator:␈↓ Prof. John McCarthy
␈↓ ↓H␈↓␈↓ ↓x␈↓ εX␈↓ π_415-497-4430

␈↓ ↓H␈↓␈↓αName of Contractor:␈↓  Board of Trustees of␈↓ εX␈↓αExecutive O≠cer:␈↓ Lester Earnest
␈↓ ↓H␈↓␈↓ ↓xthe Leland Stanford Junior University␈↓ εX␈↓ π_415-497-4202

␈↓ ↓H␈↓␈↓αE≥ective Date of Contract:␈↓ 15 June 1973␈↓ εX␈↓αShort Title of Work:␈↓ Arti≡cial Intelligence,
␈↓ ↓H␈↓␈↓ ↓x␈↓ εX␈↓ π_Heuristic Programming, and
␈↓ ↓H␈↓␈↓αContract Expiration Date:␈↓ 30 June 1975␈↓ εX␈↓ π_Network Protocols Projects

␈↓ ↓H␈↓␈↓αAmount of Contract:␈↓  $3,000,000


␈↓ ↓H␈↓Dear Sir:

␈↓ ↓H␈↓Members␈αof␈αour␈αsta≥␈αhave␈αrecently␈αpublished␈αpapers␈αon␈αgraph␈αlabeling␈α[1],␈αnetwork␈αprotocols␈α[2],
␈↓ ↓H␈↓speech␈α∂recognition␈α⊂[3,␈α∂4,␈α⊂6],␈α∂automatic␈α∂programming␈α⊂[5],␈α∂and␈α⊂machine␈α∂translation␈α⊂[7].␈α∂ Reports
␈↓ ↓H␈↓appeared␈α∂on␈α⊂mathematical␈α∂theory␈α∂of␈α⊂computation␈α∂[8,␈α⊂13],␈α∂higher␈α∂mental␈α⊂functions␈α∂[9,␈α⊂15],␈α∂and
␈↓ ↓H␈↓automatic␈αprogramming␈α[10,␈α12].␈α Winograd␈αpublished␈αa␈αseries␈αof␈αlectures␈αon␈αarti≡cial␈αintelligence
␈↓ ↓H␈↓[16].

␈↓ ↓H␈↓αResearch Program and Plan

␈↓ ↓H␈↓No changes.

␈↓ ↓H␈↓αMajor Accomplishments

␈↓ ↓H␈↓Two␈α∂Ph.D.␈α∞dissertations␈α∂were␈α∞recently␈α∂completed:␈α∞Hannah's␈α∂on␈α∞computer␈α∂stereo␈α∞vision␈α∂[12]␈α∞and
␈↓ ↓H␈↓Low's on automatic selection of data structures [14].
␈↓ ↓H␈↓β␈↓αDirector, Advanced Research Projects Agency␈α?␈α?␈α?␈αα29 October 1974␈↓ 
mPage 2


␈↓ ↓H␈↓αProblems Encountered

␈↓ ↓H␈↓Nothing new.

␈↓ ↓H␈↓αFiscal Status

␈↓ ↓H␈↓Amount currently funded:␈↓ 
E$2,248,000 

␈↓ ↓H␈↓Estimated expenditures and commitments (through 30 September 1974): ␈↓ 
E$1,910,692 

␈↓ ↓H␈↓Estimated funds required (through 30 June 1975): ␈↓ 
E$3,000,000 

␈↓ ↓H␈↓αAction Required by the Government

␈↓ ↓H␈↓None.

␈↓ ↓H␈↓αFuture Plans

␈↓ ↓H␈↓No change.


␈↓ ↓H␈↓Sincerely,␈↓ 
.LDE/pdp10



␈↓ ↓H␈↓Lester D. Earnest
␈↓ ↓H␈↓Executive O≠cer


␈↓ ↓H␈↓cc:␈↓ αλaddressee - 2 copies␈↓ ε8J. McCarthy
␈↓ ↓H␈↓␈↓ αλA. Blue, ARPA␈↓ ε8V. Cerf
␈↓ ↓H␈↓␈↓ αλC. Fields, ARPA␈↓ ε8E. Feigenbaum
␈↓ ↓H␈↓␈↓ αλP. Surra, ONR, Stanford␈↓ ε8R. Floyd
␈↓ ↓H␈↓␈↓ αλJ. C. R. Licklider, ARPA␈↓ ε8J. Jobe


␈↓ ↓H␈↓α␈α?␈α?␈α?␈α?␈α?␈α?␈α?␈α?␈α#REFERENCES

␈↓ ↓H␈↓1.  Brown, H., Masinter, L., Hjelmeland, L., ␈↓αConstructive Graph Labeling Using Double Cosets␈↓,
␈↓ ↓H␈↓␈↓ ↓x␈↓↓Discrete Mathematics␈↓, 7, 1974.

␈↓ ↓H␈↓2.  Cerf, V. G., ␈↓αAn Assessment of ARPANET Protocols␈↓, ␈↓↓Proc. Jerusalem Conf. on Information
␈↓ ↓H␈↓↓␈↓ ↓xTechnology␈↓, July 1974.

␈↓ ↓H␈↓3.  Hieronymus, J. L., N. J. Miller, A. L. Samuel, ␈↓αThe Amanuensis Speech Recognition System␈↓,
␈↓ ↓H␈↓␈↓ ↓x␈↓↓Proc. IEEE Symposium on Speech Recognition␈↓, April 1974.
␈↓ ↓H␈↓β␈↓αDirector, Advanced Research Projects Agency␈α?␈α?␈α?␈αα29 October 1974␈↓ 
mPage 3


␈↓ ↓H␈↓4.  Hieronymus, J. L., ␈↓αPitch Synchronous Acoustic Segmentation␈↓, ␈↓↓Proc. IEEE Symposium on
␈↓ ↓H␈↓↓␈↓ ↓xSpeech Recognition␈↓, April 1974.

␈↓ ↓H␈↓5.  Luckham, David C., Jack R. Buchanan, ␈↓αAutomatic Generation of Programs Containing
␈↓ ↓H␈↓α␈↓ ↓xConditional Statements␈↓, ␈↓↓Proc. AISB Summer Conference␈↓, U. Sussex, July 1974.

␈↓ ↓H␈↓6.  Miller, N. J., ␈↓αPitch Detection by Data Reduction␈↓, ␈↓↓Proc. IEEE Symposium on Speech
␈↓ ↓H␈↓↓␈↓ ↓xRecognition␈↓, April 1974.

␈↓ ↓H␈↓7.  Wilks, Yorick, ␈↓αAn Arti≡cial Intelligence Approach to Machine Translation␈↓, in Schank and
␈↓ ↓H␈↓␈↓ ↓xColby (eds.), ␈↓↓Computer Models of Thought and Language␈↓, W. H. Freeman, San Francisco, 1973.

␈↓ ↓H␈↓8.  Luigia Aiello, Mario Aiello, Richard Weyhrauch, ␈↓αThe Semantics of PASCAL in LCF␈↓,
␈↓ ↓H␈↓␈↓ ↓xStanford A. I. Memo AIM-221, October 1974.

␈↓ ↓H␈↓9.  Kenneth Mark Colby, Roger C. Parkison, Bill Faught, ␈↓αPattern-Matching Rules for the
␈↓ ↓H␈↓α␈↓ ↓xRecognition of Natural Language Dialogue Expressions␈↓, Stanford A. I. Memo AIM-234,
␈↓ ↓H␈↓␈↓ ↓xJune 1974.

␈↓ ↓H␈↓10.  Jack R. Buchanan and David C. Luckham, ␈↓αOn Automating the Construction of Programs␈↓,
␈↓ ↓H␈↓␈↓ ↓xStanford A. I. Memo AIM-236, May 1974.

␈↓ ↓H␈↓11.  Marsha Jo Hannah, ␈↓αComputer Matching of Areas in Stereo Images␈↓, ␈↓↓Thesis: Ph.D. in
␈↓ ↓H␈↓↓␈↓ ↓xComputer Science␈↓, Stanford A. I. Memo AIM-239, July 1974.

␈↓ ↓H␈↓12.  C. Cordell Green, Richard J. Waldinger, David R. Barstow, Robert Elschlager, Douglas B.
␈↓ ↓H␈↓␈↓ ↓xLenat, Brian P. McCune, David E. Shaw, and Louis I. Steinberg, ␈↓αProgress Report on
␈↓ ↓H␈↓α␈↓ ↓xProgram-understanding Systems␈↓, Stanford A. I. Memo AIM-240, August 1974.

␈↓ ↓H␈↓13.  Luigia Aiello, Richard W. Weyhrauch, ␈↓αLCFsmall: an implementation of LCF␈↓, Stanford A. I.
␈↓ ↓H␈↓␈↓ ↓xMemo AIM-241, August 1974.

␈↓ ↓H␈↓14.  James R. Low, ␈↓αAutomatic Coding: Choice of Data Structures␈↓, ␈↓↓Thesis: Ph.D. in Computer
␈↓ ↓H␈↓↓␈↓ ↓xScience␈↓, Stanford A. I. Memo AIM-242, August 1974.

␈↓ ↓H␈↓15.  Kenneth Mark Colby, ␈↓αTen Criticisms of PARRY␈↓, Stanford A. I. Memo AIM-244, September
␈↓ ↓H␈↓␈↓ ↓x1974.

␈↓ ↓H␈↓16.  Terry Winograd, ␈↓αFive Lectures on Arti≡cial Intelligence␈↓, Stanford A. I. Memo AIM-246,
␈↓ ↓H␈↓␈↓ ↓xSeptember 1974.